declarative programming
→
宣言型プログラミング